2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science Programming and Software Engineering)
Ana Cavalcanti
Категория:
Компьютеры
10.19 Mb
#2
Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December ... Programming and Software Engineering)
Karin Breitman
,
Ana Cavalcanti
Категория:
Техника
13.82 Mb
#3
Theoretical Aspects of Computing: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings (Lecture Notes in ... Computer Science and General Issues)
Ana Cavalcanti
,
David Deharbe
,
Marie-Claude Gaudel
,
Jim Woodcock
Категория:
Компьютеры
4.56 Mb
#4
Testing Techniques in Software Engineering: Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures (Lecture Notes in Computer Science)
Paulo Borba
,
Ana Cavalcanti
,
Augusto Sampaio
,
Jim Woodcook
Категория:
Компьютеры
3.63 Mb
#5
FM 2009 : formal methods : second world congress, Eindhoven, the Netherlands, November 2-6, 2009 : proceedings
Ana Cavalcanti; Dennis Dams
Категория:
Cs_Computer science
,
CsLn_Lecture notes
10.19 Mb
#6
Formal methods and software engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 ; proceedings
K K Breitman; Ana Cavalcanti
Категория:
Cs_Computer science
,
CsLn_Lecture notes
13.88 Mb
#7
Theoretical Aspects of Computing - ICTAC 2006, 3 conf
Kamel Barkaoui
,
Ana Cavalcanti
,
Antonio Cerone
Категория:
Cs_Computer science
,
CsLn_Lecture notes
3.72 Mb
#8
Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December
Ana Cavalcanti
,
Augusto Sampaio
,
Jim Woodcock
3.00 Mb